Graph-based software construction for parallel message-passing programs

A programming language which supports the adequate speciication of both { the parallel and sequential { aspects of a program establishes the optimal basis for a parallel programming methodology. Parallel languages which are entirely based on textual representations are not the best choice for describing parallelism. The main drawbacks stem from the fact that the sequential order of textual representations hides the parallel structure of a program. We propose a new programming methodology and language (called Meander) integrating textual and graphical descriptions which is much better suited for parallel programming. Parallel aspects are formulated by means of a spec-iication graph which is annotated by sequential code. Program design, coding and visualization then can be done in one single formalism which is suitable for all phases.